[[Group representation theory MOC]]
# Module over a group

A **module over a group** $G$ or $G$-**module** is an abuse[^cf] of terminology for a $\mathbb{K}$-[[Vector space|linear space]] carrying a [[group representation]] of $G$. #m/def/rep
The actual [[module]] being invoked is one over the [[group ring]] $\mathbb{K}[G]$.

  [^cf]: cf. [[Module over a Lie algebra]]


#
---
#state/tidy | #lang/en | #SemBr